Focusing the Inverse Method for LF: A Preliminary Report
نویسندگان
چکیده
In this paper, we describe a proof-theoretic foundation for bottom-up logic programming based on uniform proofs in the setting of the logical framework LF. We present a forward uniform proofs calculus which is a suitable foundation for the inverse method for LF and prove its correctness. We also present some preliminary results of an implementation for the Horn Fragment as part of the logical framework Twelf, and compare its performance with the tabled logic programming engine.
منابع مشابه
A Data Focusing method for Microwave Imaging of Extended Targets
This paper presents a data focusing method (DFM) to image extended targets using the multiple signal classification (MUSIC) algorithm. The restriction on the number of transmitter-receiver antennas in a microwave imaging system deteriorates profiling an extended target that comprises many point scatterers. Under such situation, the subspace-based linear inverse scattering methods, like the MUSI...
متن کاملPhased array ultrasonic imaging using an improved beamforming based total focusing method for non destructive test
One of the novel ultrasonic phased array based scanning methods for ultrasonic imaging in non-destructive test is total focusing method (TFM). This method employs maximum available information of the phased array elements and leads to an improved defect detection accuracy compared to conventional scanning methods. Despite its high detection accuracy, TFM behaves weak in distinguishing the real ...
متن کاملPhased array ultrasonic imaging using an improved beamforming based total focusing method for non destructive test
One of the novel ultrasonic phased array based scanning methods for ultrasonic imaging in non-destructive test is total focusing method (TFM). This method employs maximum available information of the phased array elements and leads to an improved defect detection accuracy compared to conventional scanning methods. Despite its high detection accuracy, TFM behaves weak in distinguishing the real ...
متن کاملPreparation of Fe3O4@SiO2 Nanostructures via Inverse Micelle Method and Study of Their Magnetic Properties for Biological Applications
In this work, we report synthesis of superparamagnetic iron oxide nanoparticles at room temperature using microemulsion template phase consisting of cyclohexane, water, cetyltrimethylammonium bromide CTAB as cationic surfactant and butanol as a cosurfactant. Silica surface modification of the as prepared nanoparticles was performed by adding tetraethoxysilane TEOS to alkaline medium. The struct...
متن کاملPreparation of Fe3O4@SiO2 Nanostructures via Inverse Micelle Method and Study of Their Magnetic Properties for Biological Applications
In this work, we report synthesis of superparamagnetic iron oxide nanoparticles at room temperature using microemulsion template phase consisting of cyclohexane, water, cetyltrimethylammonium bromide CTAB as cationic surfactant and butanol as a cosurfactant. Silica surface modification of the as prepared nanoparticles was performed by adding tetraethoxysilane TEOS to alkaline medium. The struct...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
- Electr. Notes Theor. Comput. Sci.
دوره 196 شماره
صفحات -
تاریخ انتشار 2008